Robert Bruce

Results: 331



#Item
21POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin

POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin

Add to Reading List

Source URL: users.eecs.northwestern.edu

- Date: 2017-08-17 15:17:53
    22Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa

    Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa

    Add to Reading List

    Source URL: drops.dagstuhl.de

    - Date: 2017-05-03 03:13:43
      23A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

      A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

      Add to Reading List

      Source URL: jeapostrophe.github.io

      - Date: 2018-04-03 12:30:31
        24POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin

        POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin

        Add to Reading List

        Source URL: florence.io

        - Date: 2017-08-17 15:17:53
          25A Semantics for Context-Sensitive Reduction Semantics Casey Klein1 , Jay McCarthy2 , Steven Jaconette1 , and Robert Bruce Findler1 1 2 Northwestern University

          A Semantics for Context-Sensitive Reduction Semantics Casey Klein1 , Jay McCarthy2 , Steven Jaconette1 , and Robert Bruce Findler1 1 2 Northwestern University

          Add to Reading List

          Source URL: www.eecs.northwestern.edu

          - Date: 2011-09-24 18:20:36
            26Slideshow: Functional Presentations Robert Bruce Findler Matthew Flatt University of Chicago

            Slideshow: Functional Presentations Robert Bruce Findler Matthew Flatt University of Chicago

            Add to Reading List

            Source URL: www.cs.utah.edu

            - Date: 2004-07-07 16:55:57
              27Fine-Grained Interoperability through Mirrors and Contracts Kathryn E. Gray Robert Bruce Findler

              Fine-Grained Interoperability through Mirrors and Contracts Kathryn E. Gray Robert Bruce Findler

              Add to Reading List

              Source URL: www.cs.utah.edu

              - Date: 2005-09-05 08:38:04
                28Curriculum Vitae Robert Bruce Findler · SepMailing Address EECS, Northwestern University 2145 Sheridan Rd, Tech L359

                Curriculum Vitae Robert Bruce Findler · SepMailing Address EECS, Northwestern University 2145 Sheridan Rd, Tech L359

                Add to Reading List

                Source URL: www.ece.northwestern.edu

                - Date: 2017-09-25 20:24:19
                  29Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3

                  Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3

                  Add to Reading List

                  Source URL: www.cs.utah.edu

                  - Date: 2004-04-03 19:39:33
                    30A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

                    A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

                    Add to Reading List

                    Source URL: jeapostrophe.github.io

                    - Date: 2018-04-03 12:30:31